<?php
/**
 * Created by PhpStorm.
 * User: liang.gao
 * Date: 2017/11/24
 * Time: 17:42
 */

$getStr = '';
if (!empty($_GET)) {
    $getStr = '?'.http_build_query($_GET);
}

header('Location: ./tool.php'.$getStr);
exit;
?>